Boolean homomorphism

[计] 布尔同态